Fissures in algorithmic power: platforms, code, and contestation

Algorithmic Issues on Heterogeneous Computing Platforms

A Portable Debugger for Algorithmic Modelica Code

In this paper we present the first comprehensive debugger for the algorithmic subset of the Modelica language, which augments previous work in our group on declarative static and dynamic debugging of equations in Modelica. This replaces debugging of algorithmic code using primitive means such as print statements or asserts which is complex, time-consuming and errorprone. The debugger is portabl...

Algorithmic Verification Techniques for Mobile Code

Modern computing platforms strive to support mobile code without putting system security at stake. These platforms can be viewed as open systems, as the mobile code adds new components to the running system. Establishing that such platforms function correctly can be divided into two steps. First, it is shown that the system functions correctly regardless of the mobile components that join it, p...

emittance control in high power linacs

چکیده این پایان نامه به بررسی اثر سیم پیچ مغناطیسی و کاوه یِ خوشه گر با بسامد رادیویی بر هاله و بیرونگراییِ باریکه هایِ پیوسته و خوشه ایِ ذرات باردار در شتابدهنده های خطیِ یونی، پروتونی با جریان بالا می پردازد و راه حل هایی برای بهینه نگهداشتن این کمیتها ارایه می دهد. بیرونگرایی یکی از کمیتهای اساسی باریکه هایِ ذرات باردار در شتابدهنده ها است که تاثیر قابل توجهی بر قیمت، هزینه و کاراییِ هر شتابدهند...

Ultra - Low - Power Sensor Platforms

Lifetime and form factor are two critical concerns for emerging sensor platforms, particularly for applications such as implantable medical devices. The limited energy from power sources, typically either microfabricated batteries or scavenged energy, remains one of the biggest challenges for such platforms. Reducing power consumption can lower system volume and extend lifetime. To achieve very...